Specification and analysis of service oriented architectures within the calculus of communicating sequential processes (CSP)
نویسنده
چکیده
منابع مشابه
Reliability Analysis of Csp Specifications Using Petri Net and Markov Models
Formal methods such as CSP (Communicating Sequential Processes), CCS (Calculus of Communicating Systems) and Dataflow based process models are widely used for formal reasoning in the areas of concurrency, communication, and distributed systems. The research in formal specification and verification of complex systems has often ignored the specification of stochastic properties of the system. We ...
متن کاملSecurity properties and CSP - Security and Privacy, 1996. Proceedings., 1996 IEEE Symposium on
Security properties such as confidentiality and authenticity may be considered in terms of the flow of messages within a network. To the extent that this characterisation is justified, the use of a process algebra such as Communicating Sequential Processes (CSP) seems appropriate to describe and analyse them’. This paper explores ways in which security properties may be described as CSP specifi...
متن کاملStochastic Analysis of CSP Specifications Using a CSP-to-Petri Net Translation Tool: CSPN
Abstract An experimental tool and approach has been developed to explore the specification and analysis of stochastic properties for concurrent systems expressed using CSP (communicating sequential processes). The approach is to translate a formal system description into the information needed to predict its behavior as a function of observable parameters. The idea uses a theory based on proven...
متن کاملEXPOSE : an animation tool for process - oriented
This paper describes and evaluates EXPOSE, an animation tool for process-oriented formal specifications of concurrent systems. EXPOSE takes as input the text of a formal specification and, from it, generates static views (interpretations) of the specification structure and dynamic views of the behaviour of the system specified. The views are constructed and explored using the hypermedia facilit...
متن کاملAn Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
Real-Time Object-Z is an integration of the object-oriented formal specification language Object-Z with a timed trace notation suitable for modelling timing constraints and continuous variables. This extends the applicability of Object-Z to real-time and embedded systems. In this paper, we enhance the ability of Real-Time Object-Z to specify concurrent real-time and embedded systems by semantic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016